A Scalable Development Environment for Large Adaptable Software

Large and complex software usually change incremen-tally over the period they are in active use. Programming environments must allow software designers to make these changes easily and eeciently. The key to supporting adaptable software is providing eecient abstraction and composition mechanisms. By separating speciication of well-deened components from the component interaction and composition behavior, we allow designers to implement easily replaceable components and changeable interaction behavior. The abstraction mechanism simpliies development of large-scale adaptable software. The facility also include automatic analytical tools for checking consistency, reachability and dependency in the behavior of interacting components.